Petri Nets as Integrated Modelling Techniques
نویسنده
چکیده
3 Review of Place/Transition Nets 8 3.1 “Dining Philosophers” as PT Net . . . . . . . . . . . . . . . . . . 8 3.2 Place/Transition Nets . . . . . . . . . . . . . . . . . . . . . . . . 9 3.3 Marking Graphs . . . . . . . . . . . . . . . . . . . . . . . . . . . 10 3.4 A “Dining Philosophers” Process . . . . . . . . . . . . . . . . . . 12 3.5 Occurence Nets and Processes . . . . . . . . . . . . . . . . . . . . 12
منابع مشابه
Extension of Petri Nets by Aspects to Apply the Model Driven Architecture Approach
Within MDA models are usually created in the UML. However, one may prefer to use different notations such as Petri-nets, for example, for modelling concurrency and synchronization properties of systems. This paper claims that techniques that are adopted within the context of MDA can also be beneficial in modelling systems by using notations other than the UML. Petri-Nets are widely used for mod...
متن کاملAccessibility Evaluation in Biometric Hybrid Architecture for Protecting Social Networks Using Colored Petri Nets
In the last few decades, technological progress has been made important information systems that require high security, Use safe and efficient methods for protecting their privacy. It is a major challenge to Protecting vital data and the ability to threaten attackers. And this has made it important and necessary to be sensitive to the authentication and identify of individuals in confidential n...
متن کاملAvailability evaluation of Software architecture of object oriented Style using coloured Petri nets
Software architecture is one of the most fundamental products in the process of software development in the areas of behavioral or non- behavioral features like availability or transformability change. There are different ways to evaluate software architecture one of which is the creation of application model. An executable model of software architecture is an official description of architectu...
متن کاملModellierung und Verifikation von verteilten/parallelen Informationssystemen
Petri nets are used in many fields as modelling technique. The different usage areas and modelling objectives require different classes of Petri nets. Powerful high level Petri nets and especially coloured Petri nets are well suited for describing behavior of distributed information systems in order to verify and analyse them. Extended coloured Petri nets with structured marks are presented in ...
متن کاملPetri nets and industrial applications: A tutorial
This is a tutorial paper on Petri nets. Petri nets, as a graphical and mathematical tool, provide a uniform environment for modelling, formal analysis, and design of discrete event systems. The main objective of this paper is to introduce the fundamental concepts of Petri nets to the researchers and practitioners, both from academia and industry, who are involved in the work in the areas of mod...
متن کامل